Digital twin based reference architecture for petrochemical monitoring and fault diagnosis

Monitoring and fault-diagnosis with digital clocks

We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. Analog clocks are infinitely-precise, thus, not implementable. We show how, given a specification modeled as a timed automaton and a timed automaton model of the digital clock, a sound and optimal (i.e., as precise as ...

Architecture-Based Run-Time Fault Diagnosis

An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection and repair could be greatly enhanced by run-time fault diagnosis and localization, since it would allow the repair mechanisms to focus adaptation effort on the parts most in need of attention. In this paper we describe an approa...

Probabilistic Models for Monitoring and Fault Diagnosis

Reliably detecting and diagnosing faults is very important for autonomous systems. The problem is made difficult due to the large number of faults that can occur and the fact that most faults cannot be observed directly, but must be inferred from noisy sensor readings. Probabilistic models, such as Partially Observable Markov Decision Processes (POMDPs), are a natural representation for trackin...

A model-based reasoning architecture for system-level fault diagnosis

A Reference Architecture For Digital Preservation

Apart from being a technological issue, digital preservation raises several organizational challenges. These challenges are starting to be addressed in the industrial design and e-Science domains, where emerging requirements cannot be addressed directly by OAIS. Thus, new approaches to design and assess digital preservation environments are required. We propose a Reference Architecture as a too...